Non-Deterministic Aspects of Object-Creating Database Transformations
نویسندگان
چکیده
Various non deterministic aspects of object creation in database trans formations are discussed from a modeling as well as from an expressive
منابع مشابه
Tree-structured object creation in database transformations
Within the class of “determinate” object-creating database transformations, identified by Abiteboul and Kanellakis, a natural proper subclass consists of the so-called “constructive” transformations. A determinate transformation is constructive if its input-output pairs satisfy a condition discovered by Jan Paredaens. In this note we point out that when object creation is “tree-structured,” as ...
متن کامل$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures
In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...
متن کاملA Complete Logic for Non-Deterministic Database Transformations
Database transformations provide a unifying framework for database queries and updates. Recently, it was shown that non-deterministic database transformations can be captured exactly by a variant of ASMs, the so-called Database Abstract State Machines (DB-ASMs). In this article we present a logic for DB-ASMs, extending the logic of Nanchen and Stärk for ASMs. In particular, we develop a rigorou...
متن کاملA Semideterministic Approach to Object Creation and Nondeterminism in Database Queries
We introduce and study the concept of semi determinism A non deterministic generic query is called semi deterministic if any two possible results of the query to a database are isomorphic Semi determinism is a generalization of determinacy proposed by Abiteboul and Kanellakis in the context of object creating query languages The framework of semi deterministic queries is less restrictive than t...
متن کاملPort Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic
The Decision Management (DM) Community Challenge of March 2016 consisted of creating decision models from ten English Port Clearance Rules inspired by the International Ship and Port Facility Security Code. Based on an analysis of the moderately controlled English rules and current online solutions, we formalized the rules in PositionalSlotted, Object-Applicative (PSOA) RuleML. This resulted in...
متن کامل